# 取模
def get_mod(n, m):
    for x in range(1, m - 1):
        for y in range(x + 1, m):
            if n % x == n % y:
                return "Yes"

    return "No"


def get_mod_opt(n, m):
    """我们不好直接证明是否存在两个数x和y使得 n % x == n % y
    那我们就是用反证法, 假设n对任何数取余数都各不相同.
    n % 1 == 0
    n % 2 == 0 or n % 2 == 1 但是由于n对任何数的余数都不相同, 所以仅存在 n % 2 == 1
    同理 n % 3 == 2
    n % 4 == 3 .....
    所以, 如果存在两个数x和y使得 n % x == n % y, 那么 n % x 就必然等于 x - 1
    例如:
    999 % 1 = 0;  999 % 2 = 1; 999 % 3 = 0 (存在两个数使得 999%1 == 999%3)
    20 % 1 = 0; 20 % 2 = 0 (存在两个数使得 20%1 = 20%2)
    21 % 1 = 0; 21 % 2 = 1; 21 % 3 = 0  (存在两个数使得 21%1 = 21%3)
    """
    for x in range(1, m + 1):
        if n % x != x - 1:
            return "Yes"
    return "No"


if __name__ == '__main__':
    # print(get_mod(1, 2))
    # print(get_mod(5, 2))
    # print(get_mod(999, 99))
    # print(get_mod_opt(1, 2))
    # print(get_mod_opt(5, 2))
    # print(get_mod_opt(999, 99))
    print(get_mod_opt(21, 10))
